考虑 , 展开后 的系数可以表示为上述左式或右式, 于是得证.